Publications of
Completeness and admissibility for general Heuristic search algorithms – a theoretical study:basic concepts and proofs
In : Journal fo Heuristics, Kluwer Academic Publishers, Vol. 5 N. Issue 3, pp. 353-376, October 1999.
Recherche heuristiquement ordonnée: Généralisations compatibles avec la complétude et l’admissibilité
In : Technique et Science Informatiques, Hermès, Paris, Vol. 16, N. 7, pp. 925-953, 1997.
Jean-Christophe Buisson, Henri Farreny, Henri Prade
Mise en ?uvre de techniques de raisonnement approché dans un système expert. L’exemple de DIABETO-III
In : Innovation et Technologie en Biologie et Médecine, Vol. 8, N. spécial 2, pp. 71-89, 1987.
Jean-Christophe Buisson, Henri Farreny, Henri Prade
The development of a medical expert system and the treatment of imprecision in the framework of possibility theory
In : Information Sciences, Vol. 37, pp. 211-226, 1986.
Michel Cayrol, Henri Farreny, Henri Prade
Fuzzy pattern matching
In : Kybernetes, Vol. 11, pp. 103-116, 1982.
Michel Cayrol, Jean-Louis Durieux, Henri Farreny
A mechanism of functional association between variable values: the roi de rats
In : Kybernetes, Vol. 10, pp. 105-111, 1981.
Michel Cayrol, Bernard Fade, Henri Farreny
A Study of Simulated Control of a Robot: Adaptability, Generation and Execution of Plans
In : SIGART Newsletter, Vol. . N. 69, pp. 11-12, 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
La notion de liaison en Intelligence Artificielle
In : Revue RAIRO informatique, Vol. 13, N. 4, pp. 367-374, 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
A study of simulated control of strategies of a robot
In : SIGART Newsletter, Vol. . N. 59, pp. 3-4, 1976.
Michel Cayrol, Bernard Fade, Henri Farreny
Etude en simulation des stratégies de contrôle d’un robot: le projet ARGOS
In : Automatisme, Vol. XXI, N. 5, pp. 162-172, 1976.
Des heuristiques plus performantes si avec la fonction on garde la raison
In : 13ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, Le Comité d’Organisation, pp. 607-613, January 2002.
New results about sub-admissibility for general families of heuristic search algorithms
In : Progress in Artificial Intelligence (Proc. of the 8th Portuguese Conf. on Artificial Intelligence (EPIA’97)(E. Costa, A. Cardoso, eds.), Coimbra, Portugal, Lecture Notes in Artificial Intelligence, Vol. 1323, Springer Verlag, Berlin, pp. 241-254, October 1997.
Une généralisation pour la recherche heuristiquement ordonnée : Les algorithmes $rho$ et la propriété d’arrêt avec découverte de solution
In : Actes du 10ème Congrès ”Reconnaissance des Formes et Intelligence Artificielle” (RFIA’96), Rennes, France, 16/01/96-18/01/96, AFCET, pp. 225-23, January 1996.
A generalization for heuristically-ordered search: Algorithms rho, results about termination and admissibility
In : Proc. of the 1996 IEEE Inter. Conf. on Systems, Man and Cybernetics: Information Intelligence and Systems, Beijing, China, IEEE Press, USA, pp. 1442-1447, October 1996.
Jean-Christophe Buisson, Henri Farreny, Henri Prade, M.-C. Turnin, J.-P. Tauber, F. Bayard
TOULMED, an inference engine which deals with imprecise and uncertain aspects of medical knowledge
In : Proc. Europ. Conf. on Artificial Intelligence in Medicine (AIME-87), Marseille, 31/08/87-03/09/87, Springer Verlag, pp. 123-140, August 1987.
Jean-Christophe Buisson, Henri Farreny, Henri Prade
Dealing with imprecision and uncertainty in the expert system DIABETO-III
In : Proc. 2nd Inter. Conf. on Artificial Intelligence (CIIAM-86), Marseille, 01/12/86-05/12/86, Hermès, Paris, pp. 705-721, December 1986.
Didier Dubois, Henri Farreny, Henri Prade
Sur divers problèmes inhérents à l’automatisation des raisonnements de sens communs
In : Actes 5èmes Cong. AFCET Reconnaissance des Formes et Intelligence Artificielle, Grenoble, 27/11/85-29/11/85, ., pp. 321-328, November 1985.
Didier Dubois, Henri Farreny, Henri Prade
Suivi d’éxécution d’itinéraires spécifiés en termes imprécis
In : Actes Colloque Inter. d’Intelligence Artificielle, Marseille, 24/10/84-27/10/84.
Michel Cayrol, Bernard Fade, Henri Farreny
Un système de résolution de problèmes orienté vers la génération de plans
In : Journées ARA, Poitier, .
Michel Cayrol, Bernard Fade, Henri Farreny
Un système de résolution de problèmes pour la génération de plans
In : Joint U.S.A.-FRANCE NSF-CNRS workshop on advanced automation and robotic, ., .
Michel Cayrol, Henri Farreny, Henri Prade
An advanced pattern-matching method taking into account the uncertainty in meaning
In : Inter. Conf. on Artificial Intelligence and Information – Control Systems of Robots, Bratislava, Tchécoslovaquie, 30/06/80-04/07/80.
Michel Cayrol, Henri Farreny, Henri Prade
Fuzzy reasoning based on multivalent logics in the framework of production-rules systems
In : Proc. 10th IEEE Inter. Symp. Multiple-Valued Logic, Evanston, IL, 03/06/80-05/06/80, ., pp. 143-148, June 1980.
Michel Cayrol, Henri Farreny, Henri Prade
Possibility and necessity in a pattern-matching process
In : Proc. IXth Inter. Cong. on Cybernetics, Namur, Belgium, 08/09/80-13/09/80.
Michel Cayrol, Henri Farreny, Henri Prade
Accès linguistique associatif à une base de données
In : Proc. 2nd Inter. Conf. on Data Bases in the Humanities and Social Sciences, Madrid, 16/06/80-19/06/80.
Michel Cayrol, Bernard Fade, Henri Farreny
ARGOS II: un système de production pour écrire des résolveurs experts
In : Congrès AFCET Informatique, Nancy, ., pp. 351-361, November 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
Objets formels et liaisons d’attributs dans ARGOS-II
In : Actes 2ème Congrès AFCET de Reconnaissance des Formes et Intelligence Artificielle, Toulouse, ., pp. 256-263, September 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
Formal objects and features associations in ARGOS II
In : Proc. 6th Inter. Joint Conf. Artificial Intelligence (IJCAI’79), Tokyo, ., pp. 131-133, August 1979.
Salem Benferhat, Henri Farreny, Henri Prade
Possibilistic rule-based inference: a case study in financial analysis
In : Soft Computing in Financial Engineering. R. Ribeiro, H.-J. Zimmermann, R. Yager, J. Kacprzyk (Eds.) , Physica-Verlag, Heidelberg, Allemagne, pp. 301-319, 1999.
Didier Dubois, Henri Farreny, Henri Prade
Combinatorial search with fuzzy estimates
In : ‘Soft’ optimization models using fuzzy sets and possibility theory. J. Kacprzyk, S.A. Orlovski (Eds.) , D. Reidel, Dordrecht, pp. 171-185, 1987.
Gérard Bel, Didier Dubois, Henri Farreny, Henri Prade
Vers l’emploi de systèmes experts flous pour le pilotage de systèmes manufacturiers
In : Le Point en Productique, Vol. 1. J.C. Pruvost (Eds.) , Tec. & Doc.-Lavoisier, Paris, pp. 55-63, 1986.
Gérard Bel, Didier Dubois, Henri Farreny, Henri Prade
Towards the use of fuzzy rule-based systems in the monitoring of manufactoring systems
In : Software for Discrete Manufacturing. J.P. Crestin, J.F. McWaters (Eds.) , North-Holland, pp. 525-535, 1986.
Recherche Heuristiquement Ordonnée dans les Graphes d’Etats — Algorithmes et Propriétés, Masson, Paris, 1995.